Tolerant Linearity Testing and Locally Testable Codes
نویسندگان
چکیده
We study tolerant linearity testing under general distributions. Given groups G and H, a distribution μ on G, and oracle access to a function f : G→ H, we consider the task of approximating the smallest μ-distance of f to a homomorphism h : G→ H, where the μ-distance between f and h is the probability that f(x) 6= h(x) when x is drawn according to the distribution μ. This question is intimately connected to local testability of linear codes. In this work, we give a general sufficient condition on the distribution μ for linearity to be tolerantly testable with a constant number of queries. Using this condition we show that linearity is tolerantly testable for several natural classes of distributions including low bias, symmetric and product distributions. This gives a new and simple proof of a result of Kaufman and Sudan which shows that sparse, unbiased linear codes over Z2 are locally testable.
منابع مشابه
Some Recent Results on Local Testing of Sparse Linear Codes
We study the local testability of linear codes. We first reformulate this question in the language of tolerant linearity testing under a non-uniform distribution. We then study the question of linearity testing under non-uniform distributions directly, and give a sufficient criterion for linearity to be tolerantly testable under a given distribution. We show that several natural classes of dist...
متن کاملTolerant Locally Testable Codes
An error-correcting code is said to be locally testable if it has an efficient spot-checking procedure that can distinguish codewords from strings that are far from every codeword, looking at very few locations of the input in doing so. Locally testable codes (LTCs) have generated a lot of interest over the years, in large part due to their connection to Probabilistically checkable proofs (PCPs...
متن کاملTowards Lower Bounds on Locally Testable Codes
1 Abbreviations and Notations 3 1 General Introduction 4 1.1 PCP theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Property Testing . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.3 Locally Testable Codes . . . . . . . . . . . . . . . . . . . . . . 6 1.3.1 Random locally testable codes . . . . . . . . . . . . . 6 1.3.2 Algebraic Construction of LTCs . . . . . . . . . . ....
متن کاملLimits on the Rate of Locally Testable Affine-Invariant Codes
Despite its many applications, to program checking, probabilistically checkable proofs, locally testable and locally decodable codes, and cryptography, “algebraic property testing” is not well-understood. A significant obstacle to a better understanding, was a lack of a concrete definition that abstracted known testable algebraic properties and reflected their testability. This obstacle was rem...
متن کاملLecture Notes on Locally Testable Codes and Proofs
In terms of property testing, locally testable codes are error correcting codes such that the property of being a codeword can be tested within low query complexity. As for locally testable proofs (PCPs), these can be viewed as massively parametrized properties that are testable within low query complexity such that the parameterized property is non-empty if and only if the corresponding parame...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009